Optimal. Leaf size=45 \[ -\frac {\left (b^2-4 a c\right ) d^3 (b+2 c x)^4}{32 c^2}+\frac {d^3 (b+2 c x)^6}{48 c^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 45, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 1, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.045, Rules used = {697}
\begin {gather*} \frac {d^3 (b+2 c x)^6}{48 c^2}-\frac {d^3 \left (b^2-4 a c\right ) (b+2 c x)^4}{32 c^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 697
Rubi steps
\begin {align*} \int (b d+2 c d x)^3 \left (a+b x+c x^2\right ) \, dx &=\int \left (\frac {\left (-b^2+4 a c\right ) (b d+2 c d x)^3}{4 c}+\frac {(b d+2 c d x)^5}{4 c d^2}\right ) \, dx\\ &=-\frac {\left (b^2-4 a c\right ) d^3 (b+2 c x)^4}{32 c^2}+\frac {d^3 (b+2 c x)^6}{48 c^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 66, normalized size = 1.47 \begin {gather*} \frac {1}{6} d^3 x (b+c x) \left (6 a \left (b^2+2 b c x+2 c^2 x^2\right )+x \left (3 b^3+11 b^2 c x+16 b c^2 x^2+8 c^3 x^3\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.45, size = 46, normalized size = 1.02
method | result | size |
default | \(-d^{3} \left (-\frac {4 c \left (c \,x^{2}+b x +a \right )^{3}}{3}+\frac {\left (4 a c -b^{2}\right ) \left (c \,x^{2}+b x +a \right )^{2}}{2}\right )\) | \(46\) |
gosper | \(\frac {x \left (8 c^{4} x^{5}+24 x^{4} b \,c^{3}+12 x^{3} c^{3} a +27 b^{2} c^{2} x^{3}+24 a b \,c^{2} x^{2}+14 x^{2} b^{3} c +18 x a c \,b^{2}+3 b^{4} x +6 a \,b^{3}\right ) d^{3}}{6}\) | \(84\) |
norman | \(\left (2 a \,c^{3} d^{3}+\frac {9}{2} b^{2} c^{2} d^{3}\right ) x^{4}+\left (4 a b \,c^{2} d^{3}+\frac {7}{3} b^{3} c \,d^{3}\right ) x^{3}+\left (3 a \,b^{2} c \,d^{3}+\frac {1}{2} b^{4} d^{3}\right ) x^{2}+a \,b^{3} d^{3} x +\frac {4 c^{4} d^{3} x^{6}}{3}+4 c^{3} b \,d^{3} x^{5}\) | \(106\) |
risch | \(\frac {4}{3} c^{4} d^{3} x^{6}+4 c^{3} b \,d^{3} x^{5}+2 d^{3} a \,c^{3} x^{4}+\frac {9}{2} d^{3} b^{2} c^{2} x^{4}+4 d^{3} a b \,c^{2} x^{3}+\frac {7}{3} d^{3} b^{3} c \,x^{3}+3 d^{3} a \,b^{2} c \,x^{2}-\frac {2}{3} a^{3} c \,d^{3}+\frac {1}{2} d^{3} b^{4} x^{2}+a \,b^{3} d^{3} x +\frac {1}{2} d^{3} a^{2} b^{2}\) | \(129\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 97 vs.
\(2 (41) = 82\).
time = 0.28, size = 97, normalized size = 2.16 \begin {gather*} \frac {4}{3} \, c^{4} d^{3} x^{6} + 4 \, b c^{3} d^{3} x^{5} + a b^{3} d^{3} x + \frac {1}{2} \, {\left (9 \, b^{2} c^{2} + 4 \, a c^{3}\right )} d^{3} x^{4} + \frac {1}{3} \, {\left (7 \, b^{3} c + 12 \, a b c^{2}\right )} d^{3} x^{3} + \frac {1}{2} \, {\left (b^{4} + 6 \, a b^{2} c\right )} d^{3} x^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 97 vs.
\(2 (41) = 82\).
time = 2.40, size = 97, normalized size = 2.16 \begin {gather*} \frac {4}{3} \, c^{4} d^{3} x^{6} + 4 \, b c^{3} d^{3} x^{5} + a b^{3} d^{3} x + \frac {1}{2} \, {\left (9 \, b^{2} c^{2} + 4 \, a c^{3}\right )} d^{3} x^{4} + \frac {1}{3} \, {\left (7 \, b^{3} c + 12 \, a b c^{2}\right )} d^{3} x^{3} + \frac {1}{2} \, {\left (b^{4} + 6 \, a b^{2} c\right )} d^{3} x^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 114 vs.
\(2 (41) = 82\).
time = 0.02, size = 114, normalized size = 2.53 \begin {gather*} a b^{3} d^{3} x + 4 b c^{3} d^{3} x^{5} + \frac {4 c^{4} d^{3} x^{6}}{3} + x^{4} \cdot \left (2 a c^{3} d^{3} + \frac {9 b^{2} c^{2} d^{3}}{2}\right ) + x^{3} \cdot \left (4 a b c^{2} d^{3} + \frac {7 b^{3} c d^{3}}{3}\right ) + x^{2} \cdot \left (3 a b^{2} c d^{3} + \frac {b^{4} d^{3}}{2}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.94, size = 73, normalized size = 1.62 \begin {gather*} {\left (c d x^{2} + b d x\right )} a b^{2} d^{2} + \frac {1}{2} \, {\left (c d x^{2} + b d x\right )}^{2} b^{2} d + 2 \, {\left (c d x^{2} + b d x\right )}^{2} a c d + \frac {4}{3} \, {\left (c d x^{2} + b d x\right )}^{3} c \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.42, size = 93, normalized size = 2.07 \begin {gather*} \frac {4\,c^4\,d^3\,x^6}{3}+\frac {b^2\,d^3\,x^2\,\left (b^2+6\,a\,c\right )}{2}+4\,b\,c^3\,d^3\,x^5+\frac {c^2\,d^3\,x^4\,\left (9\,b^2+4\,a\,c\right )}{2}+a\,b^3\,d^3\,x+\frac {b\,c\,d^3\,x^3\,\left (7\,b^2+12\,a\,c\right )}{3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________